rcv?(${\it info}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecase1($e$;${\it info}$;$i$.false$_{2}$;$l$,${\it e'}$.true$_{2}$)